Systems Engineering as a Foundation for PSS Development Project: Motivations and Perspectives
نویسندگان
چکیده
منابع مشابه
The Architectural Metaphor as a Foundation for Systems Engineering
Over the history of systems engineering, there have been numerous attempts to establish the foundations of that field on other disciplines. In this paper, we explore a new approach, founding systems engineering on an architectural metaphor. This approach is based upon our work of the past five years to establish a discipline of systems architecture. We outline the key principles of our approach...
متن کاملA Systems Dynamics Model for Project Management systems of Project-Based Organization
It is obvious that the success of a project-based organization is dependent on its projects. A variety of tools such as the project excellence model, project management maturity models, the earned value method, have been developed in this regard, but there are still delays in projects because the projects have dynamic nature with non-linear relationships and feedback processes during the projec...
متن کاملA Foundation for Verified Software Development Systems
We describe a formalization of the meta-mathematics of programming in a higher-order calculus as a means to create verifiably correct implementations of program synthesis tools. Formal definitions and lemmata are used to raise the level of abstraction in formal reasoning to one comprehensible for programmers. Formal metatheorems make explicit the semantic knowledge contained in program derivati...
متن کاملA Formal Foundation of Systems Engineering
In this paper we discuss a formal foundation of systems engineering based on category theory. The main difference with other categorical approaches is the choice of the structure of the base category (symmetric monoidal or compact closed) which is, on the one hand, much better adapted to current modeling tools and languages (e.g. SysML), and on the other hand is canonically associated to a logi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia CIRP
سال: 2017
ISSN: 2212-8271
DOI: 10.1016/j.procir.2017.03.031